Awesome Logic Formalization

定理証明支援系の形式化の数理論理学の分野に限った参考文献リスト